Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples

摘要

We present some contributions to the theory of infinitary rewriting for weakly orthogonal term rewrite systems, in which critical pairs may occur provided they are trivial. We show that the infinitary unique normal form property (UN